Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings Matthias Baaz, Johann A. Makowsky (eds.).
por Baaz, Matthias | Makowsky, Johann A, 1948- | European Association for Computer Science Logic. Conference | Kurt Gödel Colloquium Vienna University of Technology) 2003 : (8th .
Editor: Berlin ; Springer, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.101 COM.
Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings Sergei N. Artemov, Anil Nerode (eds.).
por LFCS 2007 New York, N.Y.) (2007 | Artemov, S. N | Nerode, Anil, 1932- .
Editor: Berlin ; Springer, c2007Otro título: LFCS 2007.Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 004.015 LFC.
Algorithms and data structures : 8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30-August 1, 2003 : proceedings Frank Dehne, Jörg-Rüdiger Sack, Michiel Smid (eds.)
por WADS 2003 Ottawa, Ontario, Canadá) (2003 | Dehne, F. (Frank), 1960- | Sack, J.-R. (Jörg-Rüdiger), 1954- | Smid, Michiel.
Editor: Berlin ; Springer, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 WAD.
CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings Roberto Amadio, Denis Lugiez, eds.
por CONCUR 2003 Marseille, France) (2003 | Amadio, Roberto M | Lugiez, Denis.
Editor: Berlin ; Springer, c2003Otro título: CONCUR 2003..Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 004.35 CON.
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings Leo Bachmair (ed.).
por Bachmair, Leo [ed.] | International Conference on Rewriting Techniques and Applications Norwich, England) 2000 : (11th .
Editor: Berlin ; Springer, c2000Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.13 REW.